翻訳と辞書 Words near each other ・ Aleš Čeh ・ Aleš Čeh (footballer, born 1980) ・ Aleš Čerin ・ Aleš Čermák ・ Aleš Řebíček ・ Aleš Škerle ・ Aleš Šmon ・ Aleš Šteger ・ Aleš Švehlík ・ Aleșd ・ Aleșteu River ・ ALF ・ Alf (album) ・ Alf (barque) ・ Alf (name) ・ ALF (proof assistant) ・ Alf (river) ・ ALF (TV series) ・ ALF (video game) ・ Alf Aanning ・ Alf Ackerman ・ Alf Adams ・ Alf Agar ・ Alf Ahlberg ・ Alf Ainsworth ・ Alf Amble ・ Alf Amos ・ Alf and Alfhild ・ Alf Andersen ・ Alf Anderson Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ALF (proof assistant) ： ウィキペディア英語版 ALF (proof assistant) :''ALF can also refer to Algebraic Logic Functional programming language.'' ALF ("Another logical framework") is a structure editor for monomorphic Martin-Löf type theory developed at Chalmers University. It is a predecessor of the Alfa, Agda, Cayenne and Coq proof assistants and dependently typed programming languages. It was the first language to support inductive families and dependent pattern matching.〔Thierry Coquand (1992). ("Pattern Matching with Dependent Types" ). In Bengt Nordström, Kent Petersson, and Gordon Plotkin (editors), ''Electronic Proceedings of the Third Annual BRA Workshop on Logical Frameworks (Båstad, Sweden)''.〕〔Thorsten Altenkirch, Conor McBride and James McKinna (2005). ("Why Dependent Types Matter" ).〕 == References == 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ALF (proof assistant)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.